Type-in program

Results: 933



#Item
151Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory

Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

Add to Reading List

Source URL: liu.diva-portal.org

Language: English - Date: 2010-07-16 02:44:55
152Invoice / Type certificate / Europe / Transport / Aviation / European Aviation Safety Agency

Applicant Data protection: Personal data included in the application related to the “Application for Approval of Maintenance Review Board Report (MRBR), Manufacturer Recommended Maintenance Program, Supplement to MRBR

Add to Reading List

Source URL: easa.europa.eu

Language: English - Date: 2015-04-19 07:37:31
153Type theory / Models of computation / Program analysis / Type system / Lambda calculus / Curry–Howard correspondence / Denotational semantics / Theoretical computer science / Mathematical logic / Computer science

Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-14 16:12:51
154Functional languages / Type theory / Java programming language / Program analysis / Type system / Generic programming / OCaml / Objective-C / Constructor / Software engineering / Computer programming / Computing

16 Comparison of the Models of Organisation Chapters 14 and 15 respectively presented two models of application organisation: The functional/modular model and the object model. These two models address, each in

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
155Functional languages / Procedural programming languages / Type theory / Breakpoint / Debugging / OCaml / Caml / ALGOL 68 / D / Computer programming / Software engineering / Computing

10 Program Analysis Tools Program analysis tools provide supplementary information to the programmer in addition to the feedback from the compiler and the linker. Some of these tools perform a static analysis, i.e. they

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
156Insurance in the United States / Insurance law / National Flood Insurance Program / United States Department of Homeland Security / Federal Emergency Management Agency / Management / Emergency management / Public safety / Email

PDM-C NOTICE OF INTEREST (This is NOT an Application) Interested Subapplicant Information * Name of Interested Subapplicant: Congressional District: *Type of Interested Subapplicant:

Add to Reading List

Source URL: sema.dps.mo.gov

Language: English - Date: 2015-03-26 11:54:05
157Atopic dermatitis / Atopy / Eczema / Dermatitis / Filaggrin / Moisturizer / Type 1 hypersensitivity / Health / Skin care

Microsoft Word - Innovation in Therapeutic Skin Care for Atopic Dermatitis _program and summary of presentation_

Add to Reading List

Source URL: medicine.org.hk

Language: English - Date: 2011-10-30 23:23:13
158Aging-associated diseases / Endocrine system / Medical terms / Chronic obstructive pulmonary disease / Smoking / Diabetes mellitus type 2 / Chronic / Diabetes mellitus / Glycated hemoglobin / Diabetes / Health / Medicine

Objective and Aims of the Australian Primary Care Collaboratives (APCC) Program The objective of the APCC Program The objective of the APCC Program is to encourage and support general practices throughout Australia in de

Add to Reading List

Source URL: www.apcc.org.au

Language: English - Date: 2010-11-22 00:28:48
159United States Department of Homeland Security / Insurance in the United States / Insurance law / National Flood Insurance Program / Federal Emergency Management Agency / Email / Fax / Technology / Emergency management / Public safety

HMGP NOTICE OF INTEREST (This is not an Application) Interested Subapplicant Information * Name of Interested Subapplicant: Congressional District: *Type of Interested Subapplicant:

Add to Reading List

Source URL: sema.dps.mo.gov

Language: English - Date: 2015-03-26 11:54:22
160Atopic dermatitis / Atopy / Eczema / Dermatitis / Filaggrin / Moisturizer / Type 1 hypersensitivity / Health / Skin care

Microsoft Word - Innovation in Therapeutic Skin Care for Atopic Dermatitis _program and summary of presentation_

Add to Reading List

Source URL: www.medicine.org.hk

Language: English - Date: 2011-10-30 23:23:13
UPDATE